how to learn prolog

join shbcf.ru